Everything Totally Explained


Ask & we'll explain, totally!
Fano plane
Totally Explained


  NEW! All the latest news in the worlds of computer gaming, entertainment, the environment,  
finance, health, politics, science, stocks & shares, technology and much, much, more.  


View this entry using RSS

Everything about Fano Plane totally explained

In finite geometry, the Fano plane (after Gino Fano) is the projective plane with the least number of points and lines: 7 each.

Geometry

Perhaps the best way to view the plane is via linear algebra. Using the standard construction via homogeneous coordinates, we can identify the points with the non-zero ordered triples of binary digits, for example, excluding 000. This can be done in such a way that for every two points we can find the third point on the line through the two by adding modulo 2 in each position. In other words, the points of the Fano plane correspond to the non-zero points of the finite vector space F23 of dimension 3 over F2, the finite field of order 2. A line in the Fano plane corresponds to a 2-dimensional subspace of F23: the points a, b, c are collinear if and only if a + b = c (equivalently, b + c = a, or c + a = b).
   This might be a bit simpler if we ignore the field structure of F23. Then the 7 points of the plane correspond to the 7 non-identity elements of the group (Z2)3 = Z2 × Z2 × Z2. The lines, for example the collinear triples, correspond to the subgroups of order 4, for example, those isomorphic to Z2 × Z2. The automorphism group of the group (Z2)3 is that of the Fano plane (see below), and has order 168.
   According to the general construction (Method 2) explained in the article on projective planes we've (with a slightly more compact notation) points P, 0, 1, 00, 01, 10, 11 and the following lines:
» One line L = The lines can be classified into four types. On 3 lines the codes for the points have the 0 in a constant position (001 010 011, 001 100 101, 010 100 110). On 3 lines the vectors have equal bits in two specific positions (001 110 111, 010 101 111, 100 011 111), and on one line the codes for the points all have exactly two bits equal to 1 (011 101 110). (This classification doesn't correspond to interesting geometry but it can be interesting for coding theory.)

Automorphism group and configurations

A permutation of the seven points that carries collinear points (points on the same line) to collinear points (in other words, it "preserves collinearity") is called a "collineation", "automorphism", or "symmetry" of the plane. The full collineation group (or automorphism group, or symmetry group) is of order 168: any ordered pair is automorphic to any other one, and in addition to choosing to which ordered pair one ordered pair is mapped, we can choose the image of one more point, not on the same line, so we get 7 × 6 × 4 = 168 possibilities. In other words, there are 168 ordered triples forming a triangle (28 triangles, with for each 6 permutations of the vertices), all isomorphic, and the image of one determines the images of the other 4 points.
   The collineation group is isomorphic to the projective special linear group PSL(2,7) = PSL(3,2), and the general linear group GL(3,2) (which are equal because the field has only one nonzero element).
   One out of every 30 permutations of the 7 points is an automorphism, so if we consider colorings of the 7 points of the Fano plane in 7 different given colors, up to isomorphism 30 different ones exist.
   The automorphism group is made up of 6 conjugacy classes, which we describe in terms of their permutations of the points:
  • the identity,
  • 21 point permutations of type (12)(34) that keep all 3 points on one line fixed, and for one of these points, the other 2 lines through it; they interchange the other 4 points pairwise, and the other 4 lines ditto,
  • 56 point permutations of type (123)(456) that rotate one triangle (a cyclic permutation of the 3 vertices, and a corresponding cyclic permutation of the 3 other points on the sides, keeping the 7th point fixed; hence "rotations about a point"); in other words: keep one point fixed, and choose 3 other points on a line, carry out a cyclic permutation of the 3 points on the line, and a corresponding cyclic permutation of the 3 other points.
  • 42 point permutations of type (12)(3456) that keep one point fixed, interchange the other two points on one line through the fixed point, and perform a cyclic permutation of the remaining 4.
  • two classes of point permutations of type (1234567) :
    • 24 with A mapped to B, B to C, C to the 3rd point on AB, D to 3rd point on BC, etc.
    • 24 with A mapped to B, B to C, C to the 3rd point on AC, D to 3rd point on BD, etc.
    Order of symmetry groups of figures with (in parentheses) the number of them (the product is 168)
  • point: 24 (7)
  • line: 24 (7)
  • set of two points: 8 (21)
  • figure consisting of two points of different color: 4 (for two given colors there are 42)
  • triangle: 6 (28)
  • triangle with 2 vertices of one given color and one of a different given color: 2 (84)
  • triangle with 3 vertices of different given colors: 1 (168)
  • non-degenerate quadrangle (for example with no 3 consecutive vertices on one line): 8 (21)
  • non-degenerate pentagon (for example with no 3 consecutive vertices on one line): 2 (84)
  • non-degenerate hexagon (for example with no 3 consecutive vertices on one line): 6 (28) In each case, up to isomorphism there's only one (in the case of colors: for given colors).
       In the three cases of the triangle, if we take the large one in the figure, the symmetry group corresponds to that of Euclidean symmetry of the figure.

    Block design theory

    The Fano plane is a small symmetric block design, specifically a (7,3,1)-design. The points of the design are the points of the plane, and the blocks of the design are the lines of the plane. As such it's a valuable example in (block) design theory.

    Matroid theory

    » Main article: Matroid theory


    The Fano plane is one of the important examples in the structure theory of matroids. Excluding the Fano plane as a minor is necessary to characterize several important classes of matroids, such as regular, graphic, and cographic ones.

    Further Information

    Get more info on 'Fano Plane'.


    External Link Exchanges

    Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

      <a href="http://fano_plane.totallyexplained.com">Fano plane Totally Explained</a>

    Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
       As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.



  • Copyright © 2007-8 totallyexplained.com | Licensed under the GNU Free Documentation License | Site Map
    This article contains text from the Wikipedia article Fano plane (History) and is released under the GFDL | RSS Version